并行推理机
The RAP/ LOP-WAM parallel inference machine is based on the OR-forest description and is an extension of the WAM. It supports Restricted AND-Parallelism and Limited OR-Parallelism of logic programs.
RAP/LOP-WAM并行推理机基于OR树林描述,扩展WAM,开展逻辑程序的限制与/或并行性。
英语网 · 双语娱乐资讯